Coïmbra: Claurstrum bij de Sé Velha